#ifndef __UTIL_H
#define __UTIL_H

#include <assert.h>
#include <stdio.h>

typedef char *string;
typedef char bool;

#define TRUE 1
#define FALSE 0


void *checked_malloc(int);
string String(char *);

typedef struct U_boolList_ *U_boolList;
struct U_boolList_ {
  bool head;
  U_boolList tail;
};
U_boolList U_BoolList(bool head, U_boolList tail);
int max(int a, int b);

#endif
